John Mitchell - PDFSEARCH.IO - Document Search Engine

John Mitchell
Results: 387

#	Item
101	Towards a user-centred method for studying CVLEs Daphne Economou, William L. Mitchell and Tom Boyle* Department of Computing and Mathematics, Manchester Metropolitan University, John Dalton Building, Chester Street, Manc Add to Reading List Source URL: ui4all.ics.forth.gr Language: English - Date: 2007-11-27 14:01:51 Computer-mediated communication Human–computer interaction Groupware Multimodal interaction Virtual reality Usability Collaborative software E-learning Prototype Science Humanâ€“computer interaction Technology
102	Object Capabilities and Isolation of Untrusted Web Applications Sergio Maffeis Imperial College London John C. Mitchell Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2010-03-09 17:40:17 Cross-platform software JavaScript Object-capability model Heap Constructor C Property Futures and promises Computing Software engineering Computer programming
103	RT : A Role-based Trust-management Framework∗ Ninghui Li John C. Mitchell Department of Computer Science, Stanford University Gates 4B, Stanford, CA {ninghui.li, mitchell}@cs.stanford.edu Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2003-11-04 15:32:03 Computer security Constraint programming Datalog Cryptography Role-based access control Credential Digital credential Trust negotiation Constraint logic programming Security Identity management Access control
104	Run-Time Enforcement of Secure JavaScript Subsets Sergio Maffeis Imperial College London John C. Mitchell Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2009-06-18 11:30:20 Scripting languages Type theory Cross-platform software JavaScript ECMAScript Eval Closure Prototype-based programming Caja project Software engineering Computing Computer programming
105	Beyond Proof-of-compliance: Security Analysis in Trust Management NINGHUI LI Purdue University JOHN C. MITCHELL Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-17 01:15:33 Datalog Central Intelligence Agency ALGOL 68 Propositional calculus Mathematical logic Logic Programming language theory
106	Privacy and Contextual Integrity: Framework and Applications Adam Barth Anupam Datta John C. Mitchell Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-17 00:58:55 Computing Identity management Social issues Data privacy Health Insurance Portability and Accountability Act Norm Internet privacy Enterprise Privacy Authorization Language Information privacy Ethics Privacy Algebra
107	WMAC-2 report John Mitchell and Christian Jakob WMAC Co-Chairs Add to Reading List Source URL: www.wcrp-climate.org Language: English - Date: 2013-07-04 10:08:22 Endangered species IUCN Red List Predation Economic model Extinction Conservation Environment Ecology
108	How Good are Humans at Solving CAPTCHAs? A Large Scale Evaluation Elie Bursztein, Steven Bethard, Celine Fabry, John C. Mitchell, Dan Jurafsky , , , mitchell@ Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2010-03-09 17:30:39 Human-based computation World Wide Web Alan Turing Transaction authentication number Turing test Optical character recognition Artificial intelligence Computing CAPTCHA
109	Privacy and Contextual Integrity: Framework and Applications Adam Barth Anupam Datta John C. Mitchell Stanford University Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2015-04-16 18:44:09 Computing Identity management Social issues Data privacy Health Insurance Portability and Accountability Act Norm Internet privacy Enterprise Privacy Authorization Language Information privacy Ethics Privacy Algebra
110	Inductive Trace Properties for Computational Security Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell Department of Computer Science, Stanford University Abstract. Protocol authentication properties are generally Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2006-12-27 15:51:40 Advantage Cryptographic protocol Cipher XTR Cryptography Ciphertext indistinguishability Semantic security